../aws-templates-for-cbmc-proofs/template-for-repository/proofs/run-cbmc-proofs.py